Someone's Obsidian Vault

https://publish.obsidian.md/pkc/Hub/Welcome+to+pkc

When I asked Gemini "what is calculus of construction?", its answer refers to this source: https://publish.obsidian.md/pkc/Hub/Theory/Category+Theory/Logic/Calculus+of+Constructions

• mentioned: Calculus of Construction